Higher Order Flattening
نویسندگان
چکیده
We extend the flattening transformation, which turns nested into flat data parallelism, to the full higher-order case, including lambda abstractions and data parallel arrays of functions. Our central observa-ions and data parallel arrays of functions. Our central observation is that flattening needs to transform the closures used to represent functional values. Thus, we use closure conversion before flattening and introduce array closures to represent arrays of functional values.
منابع مشابه
Higher order nested data parallelism: semantics and implementation
Nested data-parallel programming is an attractive approach to implementing applications for massively parallel systems. It allows complex parallel behaviour to be specified by combining and nesting operations on parallel collections and liberates the programmer from low-level concerns such as synchronisation and communication. The high degree of abstraction is achieved by transferring to the co...
متن کاملFlattening tuples in an SSA intermediate representation
For functional programs, unboxing aggregate data structures such as tuples removes memory indirections and frees dead components of the decoupled structures. To explore the consequences of such optimizations in a whole-program compiler, this paper presents a tuple flattening transformation and a framework that allows the formal study and comparison of different flattening schemes. We present ou...
متن کاملLogic Methods for Many-valued Logics: Higher-order Autoepistemic Language Concepts
The higher-order types of Herbrand interpretations for databases arise often in practice when we have to deal with uncertain or imprecise information, or in constrained databases. They are a consequence of the introduction of a kind of the observational equivalence for the hidden information in the ordinary Herbrand interpretations. It means that the logics for such databases are particular fun...
متن کاملDoes “Flattening the Curve” Affect Critical Care Services Delivery for COVID-19? A Global Health Perspective
During this coronavirus disease 2019 (COVID-19) global pandemic, nations are taking bold measures to mitigate the spread of Severe acute respiratory syndrome coronavirus 2 (SARS-CoV-2) infections in order to avoid the overwhelming its critical care facilities. While these “flattening the curve” initiatives are showing signs of impeding the potential surge in COVID-19 cases, it is not known whet...
متن کاملMany-valued Logic Programming and Fixpoint Semantics for Higher-order Herbrand Models
In this paper we compare the two versions of knowledge invariant transformations of the original Many-valued logic programs: the strict Annotated logic programs and the ’meta’ logic programs obtained by the ontological encapsulation [1]. We show that the first one has the higher-order Herbrand interpretations, while the last can be seen as the flattening of the first one. These two knowledge in...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2006